Time Dependent Stability for Feynman's Operational Calculus
نویسندگان
چکیده
منابع مشابه
Real-time ATO Reconfiguration for Operational Stability
This paper briefly describes a technique for improving capacity and operational stability of busy mainline junctions and stations. The technique, called the SafeCap advisory system, employs a mixture of existing train monitoring and control technologies to introduce an advisory control layer on top of fixed-block signalling. We present the main design principles and illustrate the advantages of...
متن کاملOperational semantics for formal tensorial calculus
With a view towards models of quantum computation, we define a functional language where all functions are linear operators by construction. A small step operational semantic (and hence an interpreter/simulator) is provided for this language in the form of a term rewrite systems. The linear-algebraic λ-calculus hereby constructed is linear in a different (yet related) sense to that, say, of the...
متن کاملAn operational calculus for the Mould operad
The operad of moulds is realized in terms of an operational calculus of formal integrals (continuous formal power series). This leads to many simplifications and to the discovery of various suboperads. In particular, we prove a conjecture of the first author about the inverse image of non-crossing trees in the dendriform operad. Finally, we explain a connection with the formalism of noncommutat...
متن کاملProbabilistic operational semantics for the lambda calculus
Probabilistic operational semantics for a nondeterministic extension of pure λ-calculus is studied. In this semantics, a term evaluates to a (finite or infinite) distribution of values. Small-step and big-step semantics, inductively and coinductively defined, are given. Moreover, small-step and big-step semantics are shown to produce identical outcomes, both in call-by-value and in call-by-name...
متن کاملStability for Time-Dependent Inverse Transport
This paper concerns the reconstruction of the absorption and scattering parameters in a time-dependent linear transport equation from full knowledge of the albedo operator at the boundary of a bounded domain of interest. We present optimal stability results on the reconstruction of the absorption and scattering parameters for a given error in the measured albedo operator.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Rocky Mountain Journal of Mathematics
سال: 2005
ISSN: 0035-7596
DOI: 10.1216/rmjm/1181069689